Unambiguous Gibbs dividing surface for nonequilibrium finite-width interface: Static equivalence approach

Unambiguous Gibbs dividing surface for nonequilibrium finite-width interface: Static equivalence approach

Nonequilibrium statistical mechanics of dividing cell populations.

We present and study a model for the nonequilibrium statistical mechanics of protein distributions in a proliferating cell population. Our model describes how the total protein variation is shaped by two processes: variation in protein production internal to the cells and variation in division and inheritance at the population level. It enables us to assess the contribution of each of these com...

Structurally Unambiguous Finite Automata

We define a structurally unambiguous finite automaton (SUFA) to be a nondeterministic finite automaton (NFA) with one starting state q0 such that for all input strings w and for any state q, there is at most one path from q0 to q that consumes w. The definition of SUFA differs from the usual definition of an unambiguous finite automaton (UFA) in that the new definition is defined in terms of th...

Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata

We consider the inclusion and equivalence problem for unambiguous Büchi automata. We show that for a strong version of unambiguity introduced by Carton and Michel these two problems are solvable in polynomial time. We generalize this to Büchi automata with a fixed finite degree of ambiguity in the strong sense. We also discuss the problems that arise when considering the decision problems for t...

Nonequilibrium Gibbs' criterion for completely wetting volatile liquids.

During the spreading of a liquid over a solid substrate, the contact line can stay pinned at sharp edges until the contact angle exceeds a critical value. At (or sufficiently near) equilibrium, this is known as Gibbs' criterion. Here, we show both experimentally and theoretically that, for completely wetting volatile liquids, there also exists a dynamically-produced contribution to the critical...